Ideological conflict - notes on the development of a commonsense knowledge base about ideologies

In this paper, we discuss the applicability of the knowledge representation language A-Prolog for the design and implementation of a commonsense knowledge base about ideologies. We also present a formalization of a simple motivating story, which involves an ideological conflict between countries. The emphasis is on the development and implementation of a commonsense knowledge base needed for the axiomatization of the domain ideological conflict. We use A-Prolog (a language of logic programs under the answer set semantics), to model ideologies and to detect conflicts between them. The notion of ideological conflict presented in this paper is a special case of a more general notion of war of ideologies, which is an important topic for the intelligence community.